منابع مشابه
Piecewise Boolean Algebras and Their Domains
We characterise piecewise Boolean domains, that is, those domains that arise as Boolean subalgebras of a piecewise Boolean algebra. This leads to equivalent descriptions of the category of piecewise Boolean algebras: either as piecewise Boolean domains equipped with an orientation, or as full structure sheaves on piecewise Boolean domains.
متن کاملComponent Caching in Hybrid Domains with Piecewise Polynomial Densities
Counting the models of a propositional formula is an important problem: for example, it serves as the backbone of probabilistic inference by weighted model counting. A key algorithmic insight is component caching (CC), in which disjoint components of a formula, generated dynamically during a DPLL search, are cached so that they only have to be solved once. In the recent years, driven by SMT tec...
متن کاملMeshing 3D Domains Bounded by Piecewise Smooth Surfaces*
This paper proposes an algorithm to mesh 3D domains bounded by piecewise smooth surfaces. The algorithm handle multivolume domains defined by surfaces that may be non connected or non manifold. The boundary and subdivision surfaces are assumed to be described by a complex formed by surface patches stitched together along curve segments. The meshing algorithm is a Delaunay refinement and it uses...
متن کاملHarmonic maps on domains with piecewise Lipschitz continuous metrics
For a bounded domain Ω equipped with a piecewise Lipschitz continuous Riemannian metric g, we consider harmonic map from (Ω, g) to a compact Riemannian manifold (N, h) ↪→ Rk without boundary. We generalize the notion of stationary harmonic maps and prove their partial regularity. We also discuss the global Lipschitz and piecewise C1,α-regularity of harmonic maps from (Ω, g) to manifolds that su...
متن کاملApproximation by C Splines on Piecewise Conic Domains
We develop a Hermite interpolation scheme and prove error bounds forC bivariate piecewise polynomial spaces of Argyris type vanishing on the boundary of curved domains enclosed by piecewise conics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1972
ISSN: 0021-8693
DOI: 10.1016/0021-8693(72)90121-4